Uploads
Contact
/
Login
Upload
Search Results for 'Ypebemodeledypeassociateype(coercions)aboutypepossiblebe[23'
Copenhagen,paperypedrespect[13],supportsproperties,respectuponexponenb
tawny-fly
Subset coercions in Coq Matthieu Sozeau LRI Paris Sud
lindy-dunigan
Dynamic Translucency with Abstraction Kinds and higher order coercions
lois-ondreau